The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course.

The target article presents a model for schizophrenia extending four levels of abstraction: molecules, cells, cognition, and syndrome. An important notion in the model is that of coordination, applicable to both the level of cells and of cognition. The molecular level provides an “implementation” of the coordination at the cellular level, which in turn underlies the coordination at the cognitive level, giving rise to the clinical symptoms.

Divided into eight sections, each with introductory essays, the selections offer rich and detailed insights into a diverse multinational philosophical landscape. Revealed in this pathbreaking work is the way in which traditional philosophical issues related to ethics, metaphysics, and epistemology, for instance, take on specific forms in Africa's postcolonial struggles. Much of its moral, political, and social philosophy is concerned with the turbulent processes of embracing modern identities while protecting ancient cultures.

In der Reihe werden herausragende monographische Untersuchungen und Sammelbände zu allen Aspekten der Philosophie Kants veröffentlicht, ebenso zum systematischen Verhältnis seiner Philosophie zu anderen philosophischen Ansätzen in Geschichte und Gegenwart. Veröffentlicht werden Studien, die einen innovativen Charakter haben und ausdrückliche Desiderate der Forschung erfüllen. Die Publikationen repräsentieren damit den aktuellsten Stand der Forschung.

In Intolerance, Polemics, and Debate in Antiquity scholars reflect on politico-cultural, philosophical, and religious forms of critical conversation in the ancient Near Eastern, Biblical, Graeco-Roman, and early-Islamic world. They enquire into the boundaries between debate, polemics, and intolerance, and address their manifestations in both philosophy and religion. This cross-cultural and inclusive approach shows that debate and polemics are not so different as often assumed, since polemics may also indicate that ultimate values are at stake. Polemics can also have a positive (...) effect, stimulating further cultural development. Intolerance is more straightforwardly negative. Religious intolerance is often a justification for politics, but also elite rationalism can become totalitarian. The volume also highlights the importance of the fluency of minorities in the dominant discourses and of their ability to develop contrapuntal lines of thought within a common cultural discourse. Contributors are: Robbert van den Berg, Stefan Beyerle, George Boys-Stones, Reuven Firestone, Pieter B. Hartog, Paul Heck, Paulin Ismard, George van Kooten, Marjo C. Korpel, Dominik Markl, Steve Mason, Peter Franz Mittag, James C. Oleson, James Carleton Paget, Lautaro Roig Lanzillotta, Jacques van Ruiten, Diego R. Sarrió Cucarella, Clare Wilde. (shrink)

Conflicts in Interpretation applies novel methods of constraint interaction, derived from connectionist theories and implemented in linguistics within the framework of Optimality Theory, to core semantic and pragmatic issues such as polysemy, negation, (in) definiteness, focus, anaphora, and rhetorical structure. It explores the hypothesis that a natural language grammar is a set of potentially conflicting constraints on forms and meanings. Moreover, it hypothesizes that competent language users not only optimize from an input form to the optimal output meaning for this (...) form, or vice versa, but also consider the opposite direction of optimization, thus taking into account the speaker as a hearer and taking into account the hearer as a speaker. The book aims to show that such a bidirectional constraint-based grammar sheds new light on the relation between form and meaning, within a sentence as well as across sentence boundaries, within a single language as well as across languages, and within competent adult language users as well as during language development. An important dimension of the book is the structured investigation of issues at the interface of semantics with syntax and pragmatics, such as the effects of distinguishing between speaker's perspective and hearer's perspective in comprehension and production, stable and instable patterns of form and meaning across languages, and the development of a coherent pattern of form and meaning in children. Conflicts in Interpretation will be of interest to any researcher or advanced student in linguistics, cognitive science, language typology, or psycholinguistics who is interested in the capacity of our human mind to map meaning onto form, and form onto meaning. (shrink)

The debate on the conventionality of simultaneity and the debate on the dimensionality of the world have been central in the philosophy of special relativity. The link between both debates however has rarely been explored. The purpose of this paper is to gauge what implications the former debate has for the latter. I show the situation to be much more subtle than was previously argued, and explain how the ontic versus epistemic distinction in the former debate impacts the latter. Despite (...) claims to the contrary, I conclude that special relativity leaves the debate on the dimensionality of the world underdetermined. (shrink)

The aim of this doctoral dissertation is to closely explore the nature of Einstein’s block universe and to tease out its implications for the nature of time and human freedom. Four questions, in particular, are central to this dissertation, and set out the four dimensions of this philosophical investigation: (1) Does the block universe view of time follow inevitably from the theory of special relativity? (2) Is there room for the passage of time in the block universe? (3) Can we (...) distinguish past from future in the block universe? (4) Is there room for human freedom in the block universe? Although the answer of most philosophers would be yes, triple no, my own answer, controversially, is no, triple yes. -/- I thereby challenge the status quo with respect to each of these metaphysical questions, and argue that none of these questions can be answered from looking at physics alone. Physics may constrain our metaphysics, but it certainly does not settle it. What is needed in order to answer these questions, are additional metaphysical assumptions that fall outside the scope of modern physics. My primary goal in this dissertation, therefore, is not to settle the debates on the nature of time and human freedom, but to clarify them by expliciting the metaphysical assumptions that are otherwise left implicit. (shrink)

To this day, a hundred and fifty years after Mendeleev's discovery, the overal structure of the periodic system remains unaccounted for in quantum-mechanical terms. Given this dire situation, a handful of scientists in the 1970s embarked on a quest for the symmetries that lie hidden in the periodic table. Their goal was to explain the table's structure in group-theoretical terms. We argue that this symmetry program required an important paradigm shift in the understanding of the nature of chemical elements. The (...) idea, in essence, consisted of treating the chemical elements, not as particles, but as states of a superparticle. We show that the inspiration for this came from elementary particle physics, and in particular from Heisenberg's suggestion to treat the proton and neutron as different states of the nucleon. We provide a careful study of Heisenberg's last paper on the nature of elementary particles, and explain why the Democritean picture of matter no longer applied in modern physics and a Platonic symmetry-based picture was called for instead. We show how Heisenberg's Platonic philosophy came to dominate the field of elementary particle physics, and how it found its culmination point in Gell-Mann's classification of the hadrons in the eightfold way. We argue that it was the success of Heisenberg's approach in elementary particle physics that sparked the group-theoretical approach to the periodic table. We explain how it was applied to the set of chemical elements via a critical examination of the work of the Russian mathematician Abram Ilyich Fet the Turkish-American physicist Asim Orhan Barut, before giving some final reflections. (shrink)

Human freedom is in tension with nomological determinism and with statistical determinism. The goal of this paper is to answer both challenges. Four contributions are made to the free-will debate. First, we propose a classification of scientific theories based on how much freedom they allow. We take into account that indeterminism comes in different degrees and that both the laws and the auxiliary conditions can place constraints. A scientific worldview pulls towards one end of this classification, while libertarianism pulls towards (...) the other end of the spectrum. Second, inspired by Hoefer, we argue that an interval of auxiliary conditions corresponds to a region in phase space, and to a bundle of possible block universes. We thus make room for a form of non-nomological indeterminism. Third, we combine crucial elements from the works of Hoefer and List; we attempt to give a libertarian reading of this combination. On our proposal, throughout spacetime, there is a certain amount of freedom that can be interpreted as the result of agential choices. Fourth, we focus on the principle of alternative possibilities throughout and propose three ways of strengthening it. (shrink)

This book is about how to understand quantum mechanics by means of a modal interpretation. Modal interpretations provide a general framework within which quantum mechanics can be considered as a theory that describes reality in terms of physical systems possessing definite properties. Quantum mechanics is standardly understood to be a theory about probabilities with which measurements have outcomes. Modal interpretations are relatively new attempts to present quantum mechanics as a theory which, like other physical theories, describes an observer-independent reality. In (...) this book, Pieter Vermaas summarises the results of this work. The book will be of great value to undergraduates, graduate students and researchers in philosophy of science, and physics departments with an interest in learning about modal interpretations of quantum mechanics. (shrink)

In this paper, we first classify different types of second opinions and evaluate the ethical and epistemological implications of providing those in a clinical context. Second, we discuss the issue of how artificial intelligent could replace the human cognitive labour of providing such second opinion and find that several AI reach the levels of accuracy and efficiency needed to clarify their use an urgent ethical issue. Third, we outline the normative conditions of how AI may be used as second opinion (...) in clinical processes, weighing the benefits of its efficiency against concerns of responsibility attribution. Fourth, we provide a ‘rule of disagreement’ that fulfils these conditions while retaining some of the benefits of expanding the use of AI-based decision support systems in clinical contexts. This is because the rule of disagreement proposes to use AI as much as possible, but retain the ability to use human second opinions to resolve disagreements between AI and physician-in-charge. Fifth, we discuss some counterarguments. (shrink)

According to Leininger, presentists and growing blockers cannot explain why past and present regularities persist in the future. In order to do so, they would have to appeal to enforcers, such as causation, laws or dispositions. But in a world with no future, these enforcers are powerless and cannot guarantee future regularity. I disagree and argue that Leininger’s coordination problem can be met by distinguishing type- from token-level necessitation. Whereas token-level necessitation is cross-temporal and subject to Leininger’s coordination problem, type-level (...) necessitation is atemporal and immune to the coordination problem. For this solution to work, though, type-level necessitation must be ontologically prior to token-level necessitation. This forces us to adopt a Platonist position according to which universals are transcendent, and not immanent. (shrink)

The project 'Facing Forward' started with a collaboration between five institutions: the Stedelijk Museum Amsterdam, the Amsterdam School for Cultural Analysis at the University of Amsterdam, De Appel arts centre, W139, the Stedelijk Museum Bureau Amsterdam and the art magazine Metroplis M. Having previously organized the lecture series and publications 'Right About Now: Art & Theory in the 1990s' (2005/2006) and 'Now is the Time: Art & Theory in the 21st Century' (2008/2009), the organizing committee decided to take the final (...) step in this timeline and turn its attention to the far horizon. Informed by a shared interest in the role that history, speculation, and utopianism play in the field of contemporary art and design (as well as the larger context of global, socio-economic and political developments), a selection of seven themes emerged from the conversations of the initial organizers. These would eventually shape the seven lecture and discussions events - collected in this volume of essays - publicized under the banner Art & Theory From a Future Perspective. A great number of internationally renowned speakers were invited to reflect on the proposed themes during often sold-out events, which were presented at the Oude Lutherse Kerk in Amsterdam in 2011/2012. Yet, however compelling our desire as organizers to go beyond the framework of contemporary events and the current interest, well-nigh obsession, with history, it is obviously an illusion to think that we can escape the past by means of a turn towards the future."--Page 8. (shrink)

Inleidend overzicht van de wetenschapsfilosofische basisproblemen van de rechtswetenschap.

Descartes' works were not allowed to be read at Leiden University, even his name could not be pronounced. Read the compelling story about how his pupil Johannes de Raey has had the opportunity to preach Descartes fully in philosophy, but also in medicine, in a hostile anti-Cartesian climate during 20 years (1647-1668). This book is not only meant for philosophers and medical historians, but for all who want to take a look at the extensive menu of Cartesian cuisine. The 17th-century (...) philosopher René Descartes turned established science upside down by doubting all certainties. His critical mind rejected statements that could not be proven by the Ratio. The Ratio was the metaphor for the roots, the physics for the trunk and the medicine for the branches and leaves of the Cartesian tree. This premise was directly opposed to the established aristotelian theory in which observation formed the basis of knowledge. De Raey, who once called Descartes his best student, synthesized a hybrid model of the old Aristotelian and the new Cartesian concept. From 1658 to 1662 he gave private lessons in medicine at Leiden University and tried to use his model as a basis for explaining human physiology. Until now, nothing was known about the content of these lectures. The author recently found a dispute. It is a new dish on the Cartesian menu. (shrink)

Although Darwinian concepts have largely been banned from the social sciences of the last century, they have recently seen a revival in several disciplines such as sociology, anthropology, or economics. Most of the current proponents of evolutionary theorizing in the social sciences avoid references to the older literature on social evolution. On that background, this article presents a contribution to Darwinist thinking in early American sociology that has mainly been overlooked in the literature. As the leading figure of the Human (...) Ecology Approach, which was established during the 1920s and 1930s, Robert Ezra Park drew heavily on evolutionary concepts to explain human evolution. A systematic presentation of these concepts in the light of the modern discussion on sociocultural evolution is given, followed by a conclusion about what can be learned from Park today. (shrink)

Hendrik Lorenz presents a comprehensive study of Plato's and Aristotle's conceptions of non-rational desire. They see this as something that humans share with animals, and which aims primarily at the pleasures of food, drink, and sex. Lorenz explores the cognitive resources that both philosophers make available for the explanation of such desires, and what they take rationality to add to the motivational structure of human beings. In doing so, he finds conceptions of the mind that are coherent and deeply (...) integrated with both philosophers' views about such topics as the relation between body and soul, or the nature of the virtues. (shrink)

Abstractabstract:Most of Charles Darwin's ideas have withstood the test of time, but some of them turned out to be dead ends. This article focuses on one such dead end: Darwin's ideas about the connection between piloerection and mental illness. Piloerection is a medical umbrella term to refer to a number of phenomena in which our hair tends to stand on end. Darwin was one of the first scientists to study it systematically. In The Expression of the Emotions in Man and (...) Animals (1872), he discusses piloerection in the context of his analysis of the expressions involved in fear and anger, relying heavily on the evidence provided by one of his correspondents, the British psychiatrist James Crichton Browne. This essay reveals how Darwin's initial doubts about the similarity between piloerection in animals and psychiatric patients were eased when studying photographic portraits of female psychiatric patients sent to him by Crichton Browne. It considers arguments against Darwin's reading of these portraits and the apparent contrast between this reading and his own skepticism, in later years, about the value of documentary photography. The article concludes with some notes regarding the reception of Darwin's ideas about psychopathology. (shrink)

This book presents and exemplifies the theory of grammar called Semantic Syntax. The grammar, which offers a syntactic theory closely connected with semantic analyses, is a direct continuation of Generative Semantics; it will re-ignite interest in that framework which flourished and promised so much in the 1960s and 1970s.

This paper explores the role and resolution of disagreements between physicians and their diagnostic AI-based decision support systems. With an ever-growing number of applications for these independently operating diagnostic tools, it becomes less and less clear what a physician ought to do in case their diagnosis is in faultless conflict with the results of the DSS. The consequences of such uncertainty can ultimately lead to effects detrimental to the intended purpose of such machines, e.g. by shifting the burden of proof (...) towards a physician. Thus, we require normative clarity for integrating these machines without affecting established, trusted, and relied upon workflows. In reconstructing different causes of conflicts between physicians and their AI-based tools—inspired by the approach of “meaningful human control” over autonomous systems and the challenges to resolve them—we will delineate normative conditions for “meaningful disagreements”. These incorporate the potential of DSS to take on more tasks and outline how the moral responsibility of a physician can be preserved in an increasingly automated clinical work environment. (shrink)

The block universe theory of time is commonly said to be incompatible with temporal becoming. This confuses Maudlin who upholds both eternalism and passage. The aim of this paper is to answer Maudlin’s plea for clarification by distinguishing four degrees of temporal becoming. After discussing their respective compatibility with the block universe, I show that Maudlin asks much less from temporal becoming than most philosophers of time. Consequently, his form of becoming is compatible with the block universe, whereas the stronger (...) forms of becoming are not. (shrink)

This paper wants to shed light on the way the philosophical school of Stoicsm in Greco-Roman antiquity has dealt with the relationship of men and nature by pointing out to some of the key texts in which these issues are mentioned. Although the modern concept of sustainability or environmental protection did not really exist in antiquity, the Stoa was convinced that individual decisions had a direct impact on this world. Following the concept of environmental humanities, the ancient texts and authors (...) are collected as historical ideas of the multifaceted interactions between nature and men that can be fruitfully mirrored with the arguments of the current Anthropocene discourse and its focus on (post)industrialism. By doing so we might come across helpful approaches deeply rooted in our cultural heritage that we could possibly adopt and find practical answers for our age in terms of individual behaviour as well as management decisions to face the ecological and social challenges ahead. (shrink)

In the context of his theory of numberings, Ershov showed that Kleene's recursion theorem holds for any precomplete numbering. We discuss various generalizations of this result. Among other things, we show that Arslanov's completeness criterion also holds for every precomplete numbering, and we discuss the relation with Visser's ADN theorem, as well as the uniformity or nonuniformity of the various fixed point theorems. Finally, we base numberings on partial combinatory algebras and prove a generalization of Ershov's theorem in this context.

This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.

Robots are increasingly being studied for use in education. It is expected that robots will have the potential to facilitate children’s learning and function autonomously within real classrooms in the near future. Previous research has raised the importance of designing acceptable robots for different practices. In parallel, scholars have raised ethical concerns surrounding children interacting with robots. Drawing on a Responsible Research and Innovation perspective, our goal is to move away from research concerned with designing features that will render robots (...) more socially acceptable by end users toward a reflective dialogue whose goal is to consider the key ethical issues and long-term consequences of implementing classroom robots for teachers and children in primary education. This paper presents the results from several focus groups conducted with teachers in three European countries. Through a thematic analysis, we provide a theoretical account of teachers’ perspectives on classroom robots pertaining to privacy, robot role, effects on children and responsibility. Implications for the field of educational robotics are discussed. (shrink)

In this paper I attempt to show how the African philosopher - Kwasi Wiredu - constructs an ethnic perspectival model of ethics from the structure of kinship relations found among the Akans of Ghana. The specifics of this structure generate a notion of particularity in morals, which is carried from its origins in civic society, through a process of contested dialogue, into civil society where it is validated as norm-setter in an actual public forum of debate. The dynamics of this (...) forum ensures that the renewal of tradition remains an ongoing process and that a participatory ethos remains ascendant. I hope that my interpretation and reconstruction of Wiredu is correct. I have not attempted to cover the entire picture of Akan ethics, but only that part of it which deals with members of Akan society, and not strangers. (shrink)

Brieven van de Nederlandse filosoof (1898-1955) uit de periode 1917-1927 aan een vriend.

One of the older questions in the debate about Corporate Social Responsibility (CSR) is whether it is worthwhile for organizations to pay attention to societal demands. This debate was emotionally, normatively, and ideologically loaded. Up to the present, this question has been an important trigger for empirical research in CSR. However, the answer to the question has apparently not been found yet, at least that is what many researchers state. This apparent ambivalence in CSR consequences invites a literature study that (...) can clarify the debate and allow for the drawing of conclusions. The results of the literature study performed here reveal that there is indeed clear empirical evidence for a positive correlation between corporate social and financial performance. Voices that state the opposite refer to out-dated material. Since the beginnings of the CSR debate, societies have changed. We can therefore clearly state that, for the present Western society, “Good Ethics is Good Business.”. (shrink)

This chapter gives an overview of the evolution of the position of the rare-earth elements in the periodic system, from Mendeleev’s time to the present. Three fundamentally different accommodation methodologies have been proposed over the years. Mendeleev considered the rare-earth elements as homologues of the other elements. Other chemists looked upon the rare earths as forming a special intraperiodic group and therefore clustered the rare-earth elements in one of the groups of the periodic table. Still others adhered to the intergroup (...) accommodation of the rare earths, according to which the rare-earth elements do not show any relationship with the other elements, so that they had to be placed within the periodic table as a separate family of elements. The intergroup accommodation became the preferred one in the twentieth century. The advantages and disadvantages of the different representations of the modern periodic table are discussed. (shrink)

In various publications over the past years, Floridi has developed a theory of semantic information as well-formed, meaningful, and truthful data. This theory is more or less orthogonal to the standard entropy-based notions of information known from physics, information theory, and computer science that all define the amount of information in a certain system as a scalar value without any direct semantic implication. In this context the question rises what the exact relation between these various conceptions of information is and (...) whether there is a real need to enrich these mathematically more or less rigid definitions with a less formal notion of semantic information. I investigate various philosophical aspects of the more formal definitions of information in the light of Floridi’s theory. The position I defend is that the formal treatment of the notion of information as a general theory of entropy is one of the fundamental achievements of modern science that in itself is a rich source for new philosophical reflection. This makes information theory a competitor of classical epistemology rather than a servant. In this light Floridi’s philosophy of information is more a reprise of classical epistemology that only pays lip service to information theory but fails to address the important central questions of philosophy of information. Specifically, I will defend the view that notions that are associated with truth, knowledge, and meaning all can adequately be reconstructed in the context of modern information theory and that consequently there is no need to introduce a concept of semantic information. (shrink)

n various publications over the past years, Floridi has developed a theory of semantic information as well-formed, meaningful, and truthful data. This theory is more or less orthogonal to the standard entropy-based notions of information known from physics, information theory, and computer science that all define the amount of information in a certain system as a scalar value without any direct semantic implication. In this context the question rises what the exact relation between these various conceptions of information is and (...) whether there is a real need to enrich these mathematically more or less rigid definitions with a less formal notion of semantic information. I investigate various philosophical aspects of the more formal definitions of information in the light of Floridi’s theory. The position I defend is that the formal treatment of the notion of information as a general theory of entropy is one of the fundamental achievements of modern science that in itself is a rich source for new philosophical reflection. This makes information theory a competitor of classical epistemology rather than a servant. In this light Floridi’s philosophy of information is more a reprise of classical epistemology that only pays lip service to information theory but fails to address the important central questions of philosophy of information. Specifically, I will defend the view that notions that are associated with truth, knowledge, and meaning all can adequately be reconstructed in the context of modern information theory and that consequently there is no need to introduce a concept of semantic information. (shrink)

One of the most important contributions of A. Church to logic is his invention of the lambda calculus. We present the genesis of this theory and its two major areas of application: the representation of computations and the resulting functional programming languages on the one hand and the representation of reasoning and the resulting systems of computer mathematics on the other hand.

Statistics from both South Africa and the United States of America indicate that the phenomenon of violence amongst youths is increasing. This implies that a larger number of youths are being exposed to the experience of violence and thus present with the complex and multi-dimensional effects of such an experience. Past research has centred mostly on the causative factors that can be statistically represented, with little focus being paid to the juveniles’ in-depth, subjective experience of the phenomenon. For the male (...) adolescent, the experience of the phenomenon of violence is complex, diverse and may span across many aspects of his life, including physical, psychological, personal and social dimensions. Three participants were sourced from the Leeuwkop Juvenile Correctional Facility in Johannesburg and interviewed for the purpose of this study. The participants were selected based on their age (between 13 and 19 years of age) and the type of crime that they had committed (assault with intent to do grievous bodily harm, common assault or indecent assault). In accordance with the phenomenological approach, open-ended interviews were used as a research method in order to allow for the participants’ unique and subjective experience of the phenomenon to emerge. The researchers found that the phenomenon of violence is characterised by the juveniles’ experience of external events that provoke a certain response manifesting itself in violent behaviour. The responses described by the participants were mostly emotional in nature and included emotions such as anger, rage and fury. The experience of violence also holds certain consequences for the male juvenile offender. The most common consequence experienced by all three participants was their subsequent arrest and incarceration in a correctional facility. Indo-Pacific Journal of Phenomenology , Volume 11, Edition 1 May 2011, iii-v. (shrink)

Inleiding tot de Duitse filosoof (1724-1804).

Essentialism is one of the most pervasive problems in mental health research. Many psychiatrists still hold the view that their nosologies will enable them, sooner or later, to carve nature at its joints and to identify and chart the essence of mental disorders. Moreover, according to recent research in social psychology, some laypeople tend to think along similar essentialist lines. The main aim of this article is to highlight a number of processes that possibly explain the persistent presence and popularity (...) of essentialist conceptions of mental disorders. One such process is the general tendency of laypeople to essentialize conceptual structures, including biological, social, and psychiatric categories. Another process involves the allure of biological psychiatry. Advocating a categorical and biological approach, this strand of psychiatry probably reinforced the already existing lay essentialism about mental disorders. As such, the question regarding why we essentialize mental disorders is a salient example of how cultural trends zero in on natural tendencies, and vice versa, and how both can boost each other. (shrink)

In this article we explore the educational potential of cinema. To do this we first analyse how the American critical thinker Henry Giroux tries to give body to an educational theory in relation to cinema. His ‘film pedagogy’ is described as developing a critical response of the learner in relation to the public sphere of film. Giroux’s approach, however, seems to forget rather than explore the potential that is specific to the medium. Secondly, the article analyses Walter Benjamin’s (1936, Illuminations, (...) London, Pimlico) essay ‘The work of art in the age of mechanical reproduction’, because here we find not a different educational response to cinema, but one of the first studies on cinema that describes its ontological nature and the potential of moving images for thought. Finally, the article discusses the cinema philosophy of Gilles Deleuze, who, in contrast to Giroux, does not construct a Cartesian framework around cinema. Rather, he recognizes and explores cinema’s potential for thoughts like Benjamin did. In this way, Deleuze reverses Giroux’s question of how education should respond to cinema. A pedagogical discussion hereby comes to the fore that does not ask the question of what methodology should be used in education to think critically about cinema, but what the implications are of the nature of cinema for thought and for education. (shrink)

Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. The paper considers systems of illative combinatory logic that are sound for first-order propositional and predicate calculus. The interpretation from ordinary logic into the illative systems can be done in two ways: following the propositions-as-types paradigm, in which derivations become combinators or, in a more direct way, in which derivations are not translated. Both translations are (...) closely related in a canonical way. The two direct translations turn out to be complete. The paper fulfills the program of Church [1932], [1933] and Curry [1930] to base logic on a consistent system of λ-terms or combinators. Hitherto this program had failed because systems of ICL were either too weak (to provide a sound interpretation) or too strong (sometimes even inconsistent). (shrink)